CINECA IRIS Institutional Research Information System

Sfoglia per Serie  LECTURE NOTES IN COMPUTER SCIENCE

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mostrati risultati da 38 a 57 di 323
Titolo Data di pubblicazione Autore(i) File
A Calculus of Self-stabilising Computational Fields 2014 Mirko Viroli;Ferruccio Damiani
Call-by-Value Separability and Computability 2001 L. PAOLINI
Categorical semantics of the call-by-value lambda calculus 1995 PRAVATO A.; S. RONCHI DELLA ROCCA; ROVERSI L.
Certifying Algorithms and Relevant Properties of Reversible Primitive Permutations with Lean 2022 Giacomo Maletto; Luca Roversi
Co-design of distributed systems using skeleton and autonomic management abstractions 2009 Marco Aldinucci; Marco Danelutto; Peter Kilpatrick
Combining Coherence and Adaptation in Discourse-oriented Hypermedia Generation 2006 K. FALKOVYCH; F. CENA; F. NACK
Common-Sense Rule Inference 2009 Luca Console; Ilaria Lombardi
Compilation of Generic Regular Path Expressions Using C++ Class Templates 2005 Padovani, Luca
A Completeness Result for E-unification Algorithms Based on Conditional Narrowing 1986 E. Giovannetti; C. Moiso
Completeness Results for a Polymorphic Type System 1983 Mario Coppo; Elio Giovannetti
Computation Asset Allocation Using One-Sided and Two-Sided Variability Measures 2006 FARINELLI S.; ROSSELLO D.; TIBILETTI L.
Computational Experience with Pseudoinversion-Based Training of Neural Networks Using Random Projection Matrices 2014 Rubini, L.; Cancelliere, R.; Gallinari, P.; Grosso, A.; Raiti, A.
Computational Methods for the Evaluation of Neuron’s Firing Densities 2003 E. DI NARDO; A.G. NOBILE; E. PIROZZI; L.M. RICCIARDI
Computer-aided simulations of Gaussian processes and related asymptotic properties. 2001 DI NARDO, Elvira; Nobile, A. G.; Pirozzi, E.; Ricciardi, L. M.
Computing Structural Properties of Symmetric Nets 2015 Capra, Lorenzo; De Pierro, Massimiliano; Franceschinis, Giuliana
Conditioned Variational Autoencoder for Top-N Item Recommendation 2022 Carraro, T; Polato, M; Bergamin, L; Aiolli, F
Constraint-based mining of fault-tolerant patterns from Boolean data 2006 J. Besson; R. G. Pensa; C. Robardet; J-F. Boulicaut
Constraints for Service Contracts 2012 Maria Grazia Buscemi; Mario Coppo; Mariangiola Dezani; Ugo Montanari
Context-aware workflow management 2007 L. ARDISSONO; R. FURNARI; A. GOY; G. PETRONE; M. SEGNAN
Context-Based Distance Learning for Categorical Data Clustering 2009 D. Ienco; R. G. Pensa; R. Meo
Mostrati risultati da 38 a 57 di 323
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile